Feeds to Scour
SubscribedAll
Scoured 15861 posts in 192.3 ms
Show HN: BackBuild – A framework for sequencing complex software delivery
arcaned.co·7h·
Discuss: Hacker News
⚙️Build Archaeology
Preview
Report Post
Lessons from Formally Verified Deployed Software Systems (Extended version)
arxiv.org·14h
⚖️Verification Calculi
Preview
Report Post
How I Automate Parts of My Software Development Lifecycle with AI Agents
dev.to·4h·
Discuss: DEV
⚡Proof Automation
Preview
Report Post
RepoGenesis: Benchmarking End-to-End Microservice Generation from Readme to Repository
arxiv.org·14h
🌊Apache Kafka
Preview
Report Post
Using Haskell in Production
agentultra.com·16h
🔗Functional Compilers
Preview
Report Post
SLSA: Safeguarding artifact integrity across any software supply chain
sam.roque-worcel.com·21h·
Discuss: Hacker News
🔗Supply Chain
Preview
Report Post
Commit Boost
blog.lambdaclass.com·3h
🔐CBOR
Preview
Report Post
A nine-point framework for rapidly assessing software-engineering organizations
dev.jimgrey.net·7h
📏Code Metrics
Preview
Report Post
BPF Verifier State Pruning: Timeline
pchaigno.github.io·1d
🛡️Archive Verification
Preview
Report Post
Graph-based refactor analysis for Go projects , Arbor v1.4
reddit.com·9h·
Discuss: r/golang
🔗Topological Sorting
Preview
Report Post
Building Modern Databases with the FDAP Stack • Andrew Lamb & Olimpiu Pop
youtube.com·1d
🦀Rusty Databases
Preview
Report Post
What I’ve learned over 3 years of writing code
blog.scottlogic.com·1d
📏Code Metrics
Preview
Report Post
Show HN: I vibecoded a Test Management app for Jira
marketplace.atlassian.com·7m·
Discuss: Hacker News
⚡Proof Automation
Preview
Report Post
Designing a Programming Language for the Desert
futhark-lang.org·3h·
Discuss: Hacker News
🔗Functional Compilers
Preview
Report Post
Introducing VulHunt: A High-Level Look at Binary Vulnerability Detection
binarly.io·21h
🔬Binary Analysis
Preview
Report Post
WebAssembly 3.0 with Andreas Rossberg
softwareengineeringdaily.com·1d
🛡️WebAssembly Security
Preview
Report Post
bloomberg/crane: A new extraction system from Rocq to functional-style, memory-safe, thread-safe, readable, valid, performant, and modern C++.
github.com·1d·
Discuss: Lobsters
🦀Rust Macros
Preview
Report Post
Code review your plans and your implementation
news.ycombinator.com·6h·
Discuss: Hacker News
📏Code Metrics
Preview
Report Post
Are your CI/CD pipelines accidentally increasing technical debt?
thenewstack.io·23h
⚙️Batch Processing
Preview
Report Post
How Static Analysis Can Expose Personal Data Hidden in Source Code
hackernoon.com·7h
📊Static Analysis
Preview
Report Post

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help